DeepTelos: Multi-level Modeling with Most General Instances
نویسندگان
چکیده
Multi-level modeling aims to reduce redundancy in data models by defining properties at the right abstraction level and inheriting them to more specific levels. We revisit one of the earliest such approaches, Telos, and investigate what needs to be added to its axioms to get a true multi-level modeling language. Unlike previous approaches, we define levels not with numeric potencies but with hierarchies of so-called most general instances.
منابع مشابه
Towards an Ontological Analysis of Powertypes
In several subject domains, the categorization scheme itself is part of the subject matter. In this case, experts make use of categories of categories in their accounts. This has led to a number of approaches in conceptual modeling and knowledge representation that are called multi-level modeling approaches. An early approach for multi-level modeling is the powertype pattern which introduces “p...
متن کاملToward multi-level modeling of robotic sensor networks: a case study in acoustic event monitoring
Modeling and simulation can be powerful tools for analyzing multi-agent systems, such as networked robotic systems and sensor networks. In this paper, it is shown concretely how instances of both these elements fit into a general methodology for multi-level modeling, providing insight into system dynamics. Use of the resulting general framework is illustrated through application to a specific s...
متن کاملOCL and Textual Modeling: Tools and Textual Model Transformations Workshop Proceedings
Structural models are often augmented with additional wellformedness constraints to rule out unwanted configurations of instances. These constraints are usually written in dedicated constraint languages specifically tailored to the conceptual framework of the host modeling language, the most well-known example being the OCL constraint language for the UML. Many multi-level modeling languages, h...
متن کاملOpportunities and Challenges for Deep Constraint Languages
Structural models are often augmented with additional wellformedness constraints to rule out unwanted configurations of instances. These constraints are usually written in dedicated constraint languages specifically tailored to the conceptual framework of the host modeling language, the most well-known example being the OCL constraint language for the UML. Many multi-level modeling languages, h...
متن کاملModeling and Performance Evaluation of Multi-Processors Organization with Shared Memories
This paper is primarily concerned with theoretical evaluation of the performance of multiprocessors system. A markovian waiting line model has been developed for various different multi-processors configurations, with shared memory. The system is analysed at the request level rather than job level.
متن کامل